$\forall$$A$, $B$, $C$:MsgA. ($A$ $\Vert\!+$ $B$) $\Rightarrow$ ($C$ $\Vert\!+$ $A$) $\Rightarrow$ ($C$ $\Vert\!+$ $B$) $\Rightarrow$ ($C$ $\Vert\!+$ $A$ $\oplus$ $B$)